16 found
Order:
  1.  13
    A Note on an Arithmetization of a Word System in a Denumerable Alphabet.H. A. Pogorzelski - 1962 - Mathematical Logic Quarterly 8 (3‐4):247-249.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  19
    A Note on an Arithmetization of a Word System in a Denumerable Alphabet.H. A. Pogorzelski - 1962 - Mathematical Logic Quarterly 8 (3-4):247-249.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  11
    Nonconcatenative Abstract Skolem Arithmetics I.H. A. Pogorzelski - 1965 - Mathematical Logic Quarterly 11 (2):89-92.
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  9
    Nonconcatenative Abstract Skolem Arithmetics II.H. A. Pogorzelski - 1965 - Mathematical Logic Quarterly 11 (3):249-252.
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  13
    Nonconcatenative Abstract Skolem Arithmetics III.H. A. Pogorzelski - 1965 - Mathematical Logic Quarterly 11 (4):373-376.
  6.  25
    Nonconcatenative Abstract Skolem Arithmetics III.H. A. Pogorzelski - 1965 - Mathematical Logic Quarterly 11 (4):373-376.
  7.  23
    Nonconcatenative Abstract Skolem Arithmetics II.H. A. Pogorzelski - 1965 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 11 (3):249-252.
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  25
    Nonconcatenative Abstract Skolem Arithmetics I.H. A. Pogorzelski - 1965 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 11 (2):89-92.
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  4
    Primitive words in an infinite abstract alphabet.H. A. Pogorzelski - 1964 - Mathematical Logic Quarterly 10 (13‐17):193-198.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  21
    Primitive Words in an Infinite Abstract Alphabet.H. A. Pogorzelski - 1964 - Mathematical Logic Quarterly 10 (13-17):193-198.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  42
    Remarks on Nicod's Axiom and on "Generalizing Deduction".H. A. Pogorzelski, Jan Lukasiewicz, Jerzy Slupecki & Panstwowe Wydawnictwo - 1965 - Journal of Symbolic Logic 30 (3):376.
  12.  3
    Word Arithmetic: Theory of Primitive Words.H. A. Pogorzelski - 1962 - Mathematical Logic Quarterly 8 (3‐4):251-255.
  13.  20
    Word Arithmetic: Theory of Primitive Words.H. A. Pogorzelski - 1962 - Mathematical Logic Quarterly 8 (3-4):251-255.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  18
    M. H. Löb. Concatenation as basis for a complete system of arithmetic. The journal of symbolic logic, vol. 18 (1953), pp. 1–6. - M. H. Löb. Formal systems of constructive mathematics. The journal of symbolic logic, vol. 21 (1956), pp. 63–75. [REVIEW]H. Hermes & H. A. Pogorzelski - 1970 - Journal of Symbolic Logic 35 (1):150-150.
  15.  35
    Jan Łukasiewicz. Uwagi o aksjomacie Nicoda i o “dedukcji uogólniającej”. . A reprint of 1869. Z zagadnień logiki i filozofii, Pisma wybrane, by Jan Łukasiewicz, edited by Jerzy Słupecki, Państwowe Wydawnictwo Naukowe, Warsaw1961, pp. 164–177. [REVIEW]H. A. Pogorzelski - 1965 - Journal of Symbolic Logic 30 (3):376-377.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16. Review: Jan Lukasiewicz, Jerzy Slupecki, Panstwowe Wydawnictwo, Remarks on Nicod's Axiom and on "Generalizing Deduction". [REVIEW]H. A. Pogorzelski - 1965 - Journal of Symbolic Logic 30 (3):376-377.